Unifying Theories in Different Institutions
نویسندگان
چکیده
We investigate functorial relationships between the categories of theories in different institutions, namely adjunctions, as a means of translating between the different specification spaces that they provide. We show that there is a canonical way in which adjunctions between the categories of signatures can be lifted to the categories of theories. This lifting is associated with a duality between the concepts of institution map and institution morphism. Finally, we make an attempt at generalising these results to institution semi-morphisms that can be presented by an inference system.
منابع مشابه
کتابخانه‌های عمومی و تحلیل کارکردهای اجتماعی آن به‌عنوان نهادی ارتباطی- رسانه‌ای
Purpose: The purpose of present research is to analyze theories proposed for social functions of communication media including public libraries. Also, it aims to explain and generalize a theory best coordinated with public libraries. In current analysis, public libraries have been explained regarding their position and functions as communication media. Methodology: Using meta-analysis method, ...
متن کاملUnifying Theories of Logic and Specification
We propose a unifying treatment of multi-valued logic in the general context of specification, presented in the style of the Unifying Theories of Programming of Hoare and He. At a low level, UTP theories correspond to different types of three-valued logic. At higher levels they correspond to individual specifications. Designs are considered as their models, but members of other unifying theorie...
متن کاملA Tutorial Introduction to Designs in Unifying Theories of Programming
In their Unifying Theories of Programming (UTP), Hoare & He use the alphabetised relational calculus to give denotational semantics to a wide variety of constructs taken from different programming paradigms. A key concept in their programme is the design: the familiar precondition-postcondition pair that describes the contract between a programmer and a client. We give a tutorial introduction t...
متن کاملA Stepwise Approach to Linking Theories
Formal modelling of complex systems requires catering for a variety of aspects. The Unifying Theories of Programming (UTP) distinguishes itself as a semantic framework that promotes unification of results across different modelling paradigms via linking functions. The naive composition of theories, however, may yield unexpected or undesirable semantic models. Here, we propose a stepwise approac...
متن کاملA Tutorial Introduction to CSP in Unifying Theories of Programming
In their Unifying Theories of Programming, Hoare & He use the alphabetised relational calculus to give denotational semantics to a wide variety of constructs taken from different programming paradigms. We give a tutorial introduction to the semantics of CSP processes. We start with a summarised introduction of the alphabetised relational calculus and the theory of designs, which are preconditio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995